type A = {
  (): (B)
}
